Theorem Proving In Higher Order Logics Stefan Berghofer (u. A.)

Theorem Proving In Higher Order Logics 22nd International Conference,

John Harrison (u. A.) | Theorem Proving In Higher Order Logics |

Otmane Ait Mohamed (u. A.) | Theorem Proving In Higher Order Logics |

Ruben Gamboa (u. A.) | Interactive Theorem Proving | Taschenbuch |

César A. Muñoz (u. A.) | Interactive Theorem Proving | Taschenbuch |

Yunshan Zhu (u. A.) | The Efficiency Of Theorem Proving Strategies |

Xingyuan Zhang (u. A.) | Interactive Theorem Proving | Taschenbuch |

Osman Hasan | Probabilistic Analysis Using Theorem Proving |

Pierre Castéran (u. A.) | Interactive Theorem Proving And Program

Interactive Theorem Proving And Program Development Coq'art: The

John Harrison | Theorem Proving With The Real Numbers | Taschenbuch |

Current Trends In Hardware Verification And Automated Theorem Proving

Sean B. Holden Machine Learning For Automated Theorem Proving

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

Norbert Kroll (u. A.) | Idihom: Industrialization Of High-order